1

A program transformation from equational programs into logic programs

Année:
1987
Langue:
english
Fichier:
PDF, 1.31 MB
english, 1987
2

A structure theory of automata characterized by groups

Année:
1973
Langue:
english
Fichier:
PDF, 289 KB
english, 1973
5

On Self-Learning Systems

Année:
1973
Langue:
english
Fichier:
PDF, 812 KB
english, 1973
12

G to A hypermutation of hepatitis B virus

Année:
2005
Langue:
english
Fichier:
PDF, 353 KB
english, 2005
17

A unified analysis of steady state behavior in random access schemes

Année:
1985
Langue:
english
Fichier:
PDF, 779 KB
english, 1985
18

A congestion-control policy on the Internetwork gateway

Année:
1986
Langue:
english
Fichier:
PDF, 1.09 MB
english, 1986
19

Effect of propagation delays on ALOHA systems

Année:
1986
Langue:
english
Fichier:
PDF, 638 KB
english, 1986
23

Fault tolerant cellular automata

Année:
1975
Langue:
english
Fichier:
PDF, 528 KB
english, 1975
24

The amalgamation of automata

Année:
1977
Langue:
english
Fichier:
PDF, 724 KB
english, 1977
27

An equivalence in lotos and its decision method

Année:
1991
Langue:
english
Fichier:
PDF, 801 KB
english, 1991
28

A new device for simple chain cystography

Année:
1990
Langue:
english
Fichier:
PDF, 426 KB
english, 1990
38

Accuracy assessment of QuickBird stereo imagery

Année:
2004
Langue:
english
Fichier:
PDF, 141 KB
english, 2004
45

Completeness of temporal and spatial logic ETSL

Année:
1987
Langue:
english
Fichier:
PDF, 969 KB
english, 1987
46

Protocol Implementation Support System and Its User Interface

Année:
1988
Langue:
english
Fichier:
PDF, 617 KB
english, 1988
47

Construction of a protocol synthesis environment and its implementation

Année:
1990
Langue:
english
Fichier:
PDF, 961 KB
english, 1990
50

Toward a highly intelligent communication

Année:
1986
Langue:
english
Fichier:
PDF, 90 KB
english, 1986